$\forall$$g$:IMonoid. IsMonoid($\mid$$g$$\mid$;$\ast$;e)